Digraph functors which admit both left and right adjoints

نویسندگان

  • Jan Foniok
  • Claude Tardif
چکیده

For our purposes, two functors Λ and Γ are said to be adjoint if for any digraphs G and H, there exists a homomorphism of Λ(G) to H if and only if there exists a homomorphism of G to Γ(H). We investigate the right adjoints characterised by Pultr in [A. Pultr, The right adjoints into the categories of relational systems, In Reports of the Midwest Category Seminar, IV, volume 137 of Lecture Notes in Mathematics, pages 100–113, Berlin, 1970]. We find necessary conditions for these functors to admit right adjoints themselves. We give many examples where these necessary conditions are satisfied, and the right adjoint indeed exists. Finally, we discuss a connection between these right adjoints and homomorphism dualities. AMS subject classification: 05C20, 18A40, 05C60

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Limits and colimits in the category of pre-directed complete pre-ordered sets

In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...

متن کامل

Anticipatory Adjointness of E-Science Computation on the Grid

Information systems are anticipatory systems providing knowledge of the real world. If e-science is to operate reactively across the Grid it needs to be integrable with other information systems and e-commerce1. Theory suggests that four strong-anticipatory levels of computational types are sufficient to provide ultimate systemic closure with a single strong anticipation. Between the four level...

متن کامل

The Anticipatory and Systemic Adjointness of E-Science Computation on the Grid

Information systems are anticipatory systems providing knowledge of the real world. If e-science is to operate reactively across the Grid it needs to be integrable with other information systems and e-commerce. Theory suggests that four strong-anticipatory levels of computational types are sufficient to provide ultimate systemic closure with a single strong anticipation. Between the four levels...

متن کامل

Induction, Coinduction, and Adjoints

We investigate the reasons for which the existence of certain right adjoints implies the existence of some final coalgebras, and vice-versa. In particular we prove and discuss the following theorem which has been partially available in the literature: let F a G be a pair of adjoint functors, and suppose that an initial algebra F̂ (X) of the functor H(Y ) = X + F (Y ) exists; then a right adjoint...

متن کامل

Tensoring with Infinite-dimensional Modules in O 0

We show that the principal block O 0 of the BGG category O for a semisimple Lie algebra g acts faithfully on itself via exact endofunc-tors which preserve tilting modules, via right exact endofunctors which preserve projective modules and via left exact endofunctors which preserve injective modules. The origin of all these functors is tensoring with arbitrary (not necessarily finite-dimensional...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Discrete Mathematics

دوره 338  شماره 

صفحات  -

تاریخ انتشار 2015